Algebraic Logic and Logically-geometric Types in Varieties of Algebras
نویسندگان
چکیده
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical kernels in the Galois correspondence between filters in the Halmos algebra of first order formulas with equalities and elementary sets in the corresponding affine space.
منابع مشابه
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically signi cant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated ...
متن کاملSemi-linear Varieties of Lattice-Ordered Algebras
We consider varieties of pointed lattice-ordered algebras satisfying a restricted distributivity condition and admitting a very weak implication. Examples of these varieties are ubiquitous in algebraic logic: integral or distributive residuated lattices; their {·}-free subreducts; their expansions (hence, in particular, Boolean algebras with operators and modal algebras); and varieties arising ...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملSurjectivity of epimorphisms in varieties of algebraic logic
In the present paper we answer the question for a broad family of classes of algebras occurring in algebraic logic whether epimorphisms are surjective in the class in question or not. These are algebraic theorems and answer open algebraic problems stated in the literature. Using the duality theory between logics and classes of algebras elaborated in algebraic logic then we use our theorems for ...
متن کاملA general framework for geometric dualities for varieties of algebras
We set up a framework that subsumes many important dualities in mathematics (Birkhoff, Stone, Priestly, Baker-Beynon, etc.) as well as the classical correspondence between polynomial ideals and affine varieties in algebraic geometry. Our main theorems provide a generalisation of Hilbert’s Nullstellensatz to any (possibly infinitary) variety of algebras. The common core of the above dualities be...
متن کامل